روابط استلزام القائی

در این پایان نامه، روی مجموعه ای از گزاره ها (که با ‏‎f‎‏ نمایش داده می شود.) و ارزش درستی شان را در یک مشبکه کامل می گیرند اصل استقرار منطقی را با استفاده از خانواده ای از زیر مجموعه های معمولی (فازی) ‏‎f‎‏ معرفی نموده و روابط استلزامی مختلفی را روی ‏‎f‎‏ تعریف می کنیم و ثابت می کنیم که این روابط پیش ترتیب هستند و در حالت کلی تر این روابط را با استفاده از t- نرم ها تعمیم داده و روابط ‏‎*‎‏- پیش ترتیب فازی را معرفی می نمائیم. در ادامه به تعریف ‏‎-cc‎‏ سیستم های فازی و ارتباط بین ‏‎-cc‎‏ سیستم ها و روابط پیش ترتیب می پردازیم. در این رساله همچنین، استقرار احتمالاتی و استقرا امکاناتی را با استفاده از یک سری اطلاعات احتمالی و امکاناتی روی ‏‎f‎‏ تعریف نموده و خواصی از آنها را مورد بررسی قرار می دهیم.